Delete _gdbinit in distclean target.

diff --git a/msdos/sed1v2.inp b/msdos/sed1v2.inp
index fdc9488397cf39f108c2a31294f378e3ef232b82..ddf06f613d18098c66fc6e585f3392fb34199207 100644 (file)
--- a/msdos/sed1v2.inp
+++ b/msdos/sed1v2.inp
@@ -45,4 +45,8 @@ s/\.h\.in/.h-in/
 /^[\f   ]*$/d
 /^temacs:/s/prefix-args//
 /^temacs:/s/stamp-oldxmenu//
+/^     mv \.\/\.gdbinit/d
+/^     if test -f/c\
+       command.com /c if exist .gdbinit rm -f _gdbinit
+/^     else mv \.\/\.gdbinit/d
 /^     #/d